loop-invariant computation - Espagnol Anglais Dictionnaire